Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
661	http://www.catb.org/~esr/writings/utility-of-math/ Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 20:16:00 Formal systems Mathematical logic Formalism Mathematical object Geometry Axiomatic system Mathematical proof Set theory Mathematical model Mathematics Philosophy of mathematics Abstraction
662	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling Mathematical proof Lemmas Knowledge Mathematics Automated theorem proving Heuristics
663	DO ANDROIDS PROVE THEOREMS IN THEIR SLEEP? Michael Harris, version of March 21, 2008, (plus one addition) 1. A mathematical dream narrative …antes imagino que todo es ficción, fábula y mentira, y sueños contados por Add to Reading List Source URL: webusers.imj-prg.fr Language: English - Date: 2009-01-07 04:12:10 Mathematical logic Formal systems Philosophy of mathematics Proof theory Mathematical proof Theorem Formal proof Axiom Automated theorem proving Logic Mathematics Logical syntax
664	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics
665	Decidability of Parameterized Probabilistic Information Flow Dani`ele Beauquier1 , Marie Duflot1 and Yury Lifshits2,3 1 Universit´ e Paris 12 Add to Reading List Source URL: yury.name Language: English - Date: 2007-09-04 18:24:12 Logic Algorithm Mathematical logic Theoretical computer science Decidability Flow network Mathematics Proof theory Applied mathematics
666	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
667	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
668	Productive use of failure in top-down formal methods Alan Bundy, Gudmund Grov, Yuhui Lin Background & motivation Our approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Heuristics Rippling Mathematical proof Theorem Formal methods Formal proof Caller Logic Mathematics Logical syntax
669	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:04:48 Ada programming language Satisfiability Modulo Theories SPARK AdaCore Ada GNAT A Sharp Mathematical proof Solver Computing Software engineering Theoretical computer science
670	DIGITAL Mechanical Specifications FULL PAGE Bleed size Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-15 20:41:02 World Wide Web Knowledge Humanities Epistemology Mathematical logic Mathematical proof Email

UPDATE